IMPACCT: Methodology and Tools for Power-Aware Embedded Systems

Power-aware systems are those that must exploit a widerange of power/performance trade-offs in order to adapt to the power availabilityand application requirements. They require the integration of many novel powermanagement techniques, ranging from voltage scaling to subsystem shutdown.However, those techniques do not always compose synergistically with eachother; in fact, they can combine subtractively and often yield counterintuitive,and sometimes incorrect, results in the context of a complete system. Thiscan become a serious problem as more of these power aware systems are beingdeployed in mission critical applications.To address the problem of technique integration for power-aware embedded systems, we propose a new design tool framework called IMPACCT and the associated design methodology. The system modeling methodology includes application model for capturing timing/powerconstraints and mode dependencies at the system level. The tool performs power-awarescheduling and mode selection to ensure that all timing/power constraintsare satisfied and that all overhead is taken into account. IMPACCT then synthesizesthe implementation targeting a symmetric multiprocessor platform. Experimentalresults show that the increased dynamic range of power/performance settingsenabled a Mars rover to achieve significant acceleration while using lessenergy. More importantly, our tool correctly combines the state-of-the-arttechniques at the system level, thereby saving even experienced designersfrom many pitfalls of system-level power management.     

铁路电力试验车软件的设计与实现

介绍了铁路电力试验车软件的设计思想、框架结构及其总体控制策略 ,并就其中的测试程序、数据库管理系统、串口通讯程序、复杂式样报表生成和系统安装程序的设计策略作了叙述。     

在协议集成测试系统上开展路由协议测试

在分析路由协议的特性及其测试需求的基础上，提出利用窗口黑盒来描述被测协议，利用多通道测试方法扩展对被测实现的控制和观察，通过扩充参考实现增强系统的测试能力。将这些理论，技术应用于系统中，对路由协议开展了有效的测试活动，为国产高性能路由器的开发提供了有力的支持，也进一步增强了PITS系统的功能和适用性。     

结合试飞特点,开展专用测试设备计量确认

根据我院专用测试设备计量确认现状及需求，对开展试飞专用测试设备计量确认工作的要求，步骤、确认原则，以及编定计量确认方法进行了必要的讨论分析。     

Model validation and model structure determination

This paper gives a tutorial overview of basic approaches for model validation and model structure determination.Work partially supported by the Swedish Research Council for Engineering Sciences under contract 98-654.     

砂基中泥浆盾构法隧道施工开挖面稳定性试验研究

 通过模型试验，对泥浆盾构施工中泥浆维持开挖面稳定的力学机理，开挖面前缘土体的应力变化规律，泥浆压力作用机理及泥皮形态进行了研究，提出了中粗砂地基中临界泥浆压力 公式。     

后压浆技术在杨凌国际会展中心基桩工程中应用效果的分析

本文叙述了杨凌国际会展中心基桩静力载荷试验的试验过程 ;通过对三根灌注桩承载力的试验结果分析 ,认为后压浆技术对提高灌注桩单桩极限承载力有很大作用     

峡口水库沥青混凝土面板的施工与试验

以灌溉、防洪为主的峡口水库大坝，为沥青混凝土面板堆石坝，为研究低温抗裂性能，对沥青混凝土面板破损取样，进行了配比和多种力学性能试验，并与原面板设计指标进行了对比。由于面板经受住了－20℃以下的低温考验，其所用沥青指标、破损取样试验结果，特别是冻断低温指标，对确定水工沥青混凝土低温抗裂检验标准有重要参考价值。     

雷达检测技术在建设工程无损检测中的应用

简要介绍了雷达检测的原理 ,并通过工程实例 ,介绍了雷达检测技术在建设工程中的应用。     

电视机监督检验电磁兼容结果分析和对策

本文讨论了电磁兼容对电视机的技术要求和相应对策。